to_decimal

pure function to_decimal(): decimal

Convert this big_integer to a decimal.

Since

0.12.0